Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
How about a California chablis?
来一杯California白葡萄酒好吗？
Old wood is best to burn, old book to read.
老柴好烧，老书宜读。
One, for instance, consisted of rods of various lengths and thicknesses which would stand up on end like ninepins.
例如，有一种装置是由一些长短、粗细不同的木棒组成；就像九柱戏的木棒一样竖立着，